software specification造句
例句与造句
- the essence of software test based on model is how to develop effective test cases based on software specifications
基于模型的软件测试的本质是如何依据一种以适当方式描述的软件规格说明来设计和生成有效的测试用例。 - doorsanalyst supports the use of uml 2.0, the state-of-the-art, standardized visual systems and software specification language, for visual modeling
doorsanalyst支持在可视化建模时使用uml2.0，这是具有最新技术发展水平的标准化可视化系统及软件的规范语言。 - deriving operational software specification from system goals . in proc . 10th acm sigsoft symposium on the foundations of software engineering, charleston, south carolina, usa, 2002, pp . 119-128
从环境及其交互的语义模型出发，研究软件需求的本质含义，试图建立从需求到软件规格说明的平滑连续需求工程过程。 - after making adequate analysis upon the errors ever occurred in areospace computer system, together with a lot of case data, we can see it distinctly that the software specifications are often the important sources of the errors
通过对航天计算机系统的软件所普遍存在着的错误进行分析，结合一些实际数据，我们清晰地看到，软件需求规格说明常常是引起软件错误的重要来源。 - this paper based on the hj04a railway signal computer system which is developed by the research institute of microcomputer, hefei university of technology . according to requirement of the interlocking software " s reliability and safety . considered with the software requirement analysis, combining the uml and z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system
本论文针对合肥工大微型计算机应用研究所研究开发的hj04a铁路信号计算机联锁系统，根据计算机联锁系统联锁软件设计可靠性和安全性要求，从软件的需求分析着手，综合uml统一建模语言方法和形式化描述语言z语言的方法，设计出完全的、一致的、无冗余的、无歧义的、符合系统要求的联锁软件规格说明书。 - It's difficult to find software specification in a sentence. 用software specification造句挺难的
- although the software specification described using natural language is easy to write and understand, its validity, integrality, non-ambiguity, consistency are hard to guarantee . the process of verification can only be done by manpower which is not normative and not rigorous . and the complexity of a lot of software has made it impossible to check the specifications artificially
需求规格说明是需求分析阶段的产品，我们通常采用的是未使用任何限制非形式化的自然语言进行描述，这种自然语言书写的需求说明，虽然易于理解和使用，但难以保证其正确性、完整性、无二义性、一致性，验证过程只能采用不太规范、不太严格的人工走查的方法进行检查，稍微复杂一些软件的需求规格说明的检查，实际上已经超出了人工检查的能力。